21. Mathematical foundations of computer sciences 1989
پدیدآورنده : Mathematical foundations of computer sciences 1989
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer sciences
رده :
QA
76
.
M3
1989
22. Mathematical foundations of computer sciences 1989
پدیدآورنده : Mathematical foundations of computer sciences 1989
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer sciences
رده :
QA
76
.
M3
1989
23. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990
24. New technological and design developments in deep foundations :. proceedings of sessions of Geo-Denver 2000, August 5-8, 2000, Denver, Colorado
پدیدآورنده : Geo-Denver 0002)0002 :Denver, Colo.(, sponsored by the Deep Foundations Committee of the Geo-Institute of the American Society of Civil Engineers ; edited by Norman D. Dennis, Jr., Ray Castelli, Michael W. O'Neill
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، FoundationsCongresses,، Piling )Civil engineering(Congresses
رده :
TA
775
.
G345
25. Oracle8i internal services for waits, latches, locks, and memory
پدیدآورنده : / Steve Adams,Title on cover: Foundations for advanced tuning..
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Oracle (Computer file),Relational databases.
رده :
QA
,
76
.
9
,.
D3
,
A35
,
1999
26. Partial differential equationsI:foundations ofthe classical theoy
پدیدآورنده : Partial differential equationsI:foundations ofthe classical theo
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Differential equations,partial
رده :
QA
374
.
D56213
,
D8
27. Piling and ground treatment: proceedings of the International Conference on Advances in Piling and Ground Treatment for Foundations
پدیدآورنده : International Conference on advances in Piling and Ground Treatment for Foundations )3891: London, England(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Piling )Civil engineering(- Congresses,، Soil stabilization- Congresses
رده :
TA
780
.
I5117
1983
28. Practical guidelines for the selection, design, and installation of piles
پدیدآورنده : prepared by the Committee on Deep Foundations of the ASCE Geotechnical Engineering Division
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Piling )Civil engineering( - Handbooks, manuals, etc
رده :
TA
780
.
A52
29. Practical guidelines for the selection, design, and installation of piles
پدیدآورنده : American Society of Civil Engineers, Committee on Deep Foundations
موضوع : ، Piling )Civil engineering(-- Handbooks, manuals, etc
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
30. Problems of life and mind
پدیدآورنده : / by George Henry. First series: the foundations of a creed.....,Lewes
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Science -- Philosophy,Science -- Methodology,Knowledge Theory of
رده :
B
1593
.
P8
31. Problems of plasticity; papers contributed ..
پدیدآورنده : International Symposium on Foundations of Plasticity, 2791, Warsaw
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Plasticity-- Congresses
رده :
QA
931
.
I49
1972
32. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
33. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Jun 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده : sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computational complexity - Congresses
رده :
QA
267
.
7
.
S75
1994
34. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
35. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده : Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
36. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
37. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
پدیدآورنده : sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
رده :
QA
268
.
5
.
S95
1993
38. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
39. Ross and Wilson anatomy and physiology in health and illness
پدیدآورنده : / Kathleen J. W. Wilson,Rev. ed. of: Foundations of anatomy and physiology. 5th ed. 1981,Wilson
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع : Anatomy ,Physiology , - nurses' instruction, - nurses' instruction
40. Symposium on Deep Foundations
پدیدآورنده : sponsored by the Committee on Deep Foundations of the Geotechnical Engineering Division of the American Society of Civil Engineers at the ASCE National Convention, Atlanta, Georgia, October 25, 1979 ; Frank M. Fuller, editor
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Piling (civil engineering)- Congresses,Foundations- Congresses
رده :
624
,.
154
,
S873
,
1980
